/**************************************************
Elevator (Ludibrium Helios Tower)
**************************************************/
void portal(Player@ player, Portal@ portal) {
	int elevator_1 = 222020200;
	int elevator_2 = 222020100;
    if(player.getMap().getID() == elevator_1){
    player.changeMap(elevator_2, "in00");
    }
	else if(map == elevator_2){
	player.changeMap(elevator_1, "in00");
	}
}